Works by Kapron, Bruce M. (exact spelling)

( view other items matching `Kapron, Bruce M.`, view all matches )
Order:
  1.  41
    Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
    The language of propositional modal logic is extended by the introduction of sequents. Validity of a modal sequent on a frame is defined, and modal sequent-axiomatic classes of frames are introduced. Through the use of modal algebras and general frames, a study of the properties of such classes is begun.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  10
    Erratum to “Zero-one laws for modal logic” [Ann. Pure Appl. Logic 69 (1994) 157–193].Joseph Y. Halpern & Bruce M. Kapron - 2003 - Annals of Pure and Applied Logic 121 (2-3):281-283.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark